Modal Logic Kite
https://FormalizedFormalLogic.github.io/ModalLogicKite/kite.png
https://github.com/FormalizedFormalLogic/ModalLogicKite